mu compose bimap(mu)(identity)